SAT tricks